Willem Klop: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Dermatography (Medical Tattooing) for Scars and Skin Grafts in Head and Neck Patients to Improve Appearance and Quality of Life

Drost, Brigitte H., van de Langenberg, Rick, Manusama, Olivia R., Janssens, A. Soe, Sikorska, Karolina, Zuur, C. Lot, Klop, Willem M. C., Lohuis, Peter J. F. M.

Journal:

JAMA Facial Plastic Surgery

Year:

2016

Language:

english

File:

PDF, 694 KB

english, 2016

2

L.E.J. Brouwer, fifty years later

van Dalen, Dirk, Jongbloed, Geurt, Klop, Jan Willem, van Mill, Jan

Journal:

Indagationes Mathematicae

Year:

2019

Language:

english

File:

PDF, 6.93 MB

english, 2019

3

Church-Rosser strategies in the lambda calculus

Jan Bergstra, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

1979

Language:

english

File:

PDF, 1.17 MB

english, 1979

4

Nicolaas Govert de Bruijn (1918–2012) Mathematician, computer scientist, logician

Klop, Jan Willem

Journal:

Indagationes Mathematicae

Year:

2013

Language:

english

File:

PDF, 759 KB

english, 2013

5

Degrees of Sensible Lambda Theories

Henk Barendregt, Jan Bergstra, Jan Willem Klop and Henri Volken

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 254 KB

english, 1978

6

SPECT/CT-guided lymph drainage mapping for the planning of unilateral elective nodal irradiation in head and neck squamous cell carcinoma

de Veij Mestdagh, Pieter D., Jonker, Marcel C. J., Vogel, Wouter V., Schreuder, Willem H., Donswijk, Maarten L., Klop, W. Martin C., Al-Mamgani, Abrahim

Journal:

European Archives of Oto-Rhino-Laryngology

Year:

2018

Language:

english

File:

PDF, 1.28 MB

english, 2018

7

Study protocol of a prospective multicenter study comparing (cost-)effectiveness of a tailored interdisciplinary head and neck rehabilitation program to usual supportive care for patients treated with concomitant chemo- or bioradiotherapy

Beck, Ann-Jean C. C., Passchier, Ellen, Retèl, Valesca P., Stuiver, Martijn M., van der Molen, Lisette, Klop, Willem M. C., Navran, Arash, van Harten, Wim H., van den Brekel, Michiel W. M.

Journal:

Year:

2019

Language:

english

File:

PDF, 781 KB

english, 2019

8

Term Rewriting and All That by Franz Baader and Tobias Nipkow, Cambridge University Press, 1998, ISBN 0-521-45520-0 (hardback), 301pp.

KLOP, JAN WILLEM

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 161 KB

english, 2001

9

Elective Neck Dissection or Sentinel Lymph Node Biopsy in Early Stage Oral Cavity Cancer Patients: The Dutch Experience

den Toom, Inne J., Boeve, Koos, Lobeek, Daphne, Bloemena, Elisabeth, Donswijk, Maarten L., de Keizer, Bart, Klop, W. Martin C., Leemans, C. RenÃ©, Willems, Stefan M., Takes, Robert P., Witjes, Max J.H

Journal:

Year:

2020

File:

PDF, 1.80 MB

2020

10

SPECT/CT for preoperative sentinel node localization

Lenka Vermeeren, Iris M.C. van der Ploeg, Renato A. Valdés Olmos, Willem Meinhardt, W. Martin C. Klop, Bin B.R. Kroon, Omgo E. Nieweg

Journal:

Journal of Surgical Oncology

Year:

2010

Language:

english

File:

PDF, 237 KB

english, 2010

11

Comparing Curried and Uncurried Rewriting

RICHARD KENNAWAY, JAN WILLEM KLOP, RONAN SLEEP, FER-JAN DE VRIES

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 655 KB

english, 1996

12

An analysis of loop checking mechanisms for logic programs

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 2.83 MB

english, 1991

13

Reflections on a Geometry of Processes

Clemens Grabmayer, Jan Willem Klop, Bas Luttik

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 346 KB

english, 2006

14

Vicious Circles in Orthogonal Term Rewriting Systems

Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 255 KB

english, 2005

15

Lambda calculus with patterns

Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 479 KB

english, 2008

16

Productivity of stream definitions

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.43 MB

english, 2010

17

The free process algebra generated by , and

Piet H. Rodenburg, Jan Willem Klop, Karst Koymans, Jos Vrancken

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

18

On equal -terms

Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 878 KB

english, 2011

19

Sequentiality in orthogonal term rewriting systems

Jan Willem Klop, Aart Middeldorp

Journal:

Journal of Symbolic Computation

Year:

1991

Language:

english

File:

PDF, 1.68 MB

english, 1991

20

Confluent rewriting of bisimilar term graphs

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 29 KB

1997

21

After-hours colorectal surgery: a risk factor for anastomotic leakage

Niels Komen, Jan-Willem Dijk, Zarina Lalmahomed, Karel Klop, Wim Hop, Gert-Jan Kleinrensink, Hans Jeekel, W. Ruud Schouten, Johan F. Lange

Journal:

International Journal of Colorectal Disease

Year:

2009

Language:

english

File:

PDF, 131 KB

english, 2009

22

Modularity of confluence: A simplified proof

Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel de Vrijer

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 643 KB

english, 1994

23

Invertible terms in the lambda calculus

Jan Bergstra, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 1.60 MB

english, 1980

24

Combinatory reduction systems: introduction and survey

Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.88 MB

english, 1993

25

Respiratory Impact on Motion Sickness Induced by Linear Motion

Agali Mert, Ineke Klopping-Ketelaars, Willem Bles

Journal:

Annals of the New York Academy of Sciences

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

26

Lambda Calculus with Explicit Recursion

Zena M. Ariola, Jan Willem Klop

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

27

Diagram Techniques for Confluence

Marc Bezem, Jan Willem Klop, Vincent van Oostrom

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 592 KB

english, 1998

28

Descendants and Origins in Term Rewriting

Inge Bethke, Jan Willem Klop, Roel de Vrijer

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 1.75 MB

english, 2000

29

Bisimilarity in Term Graph Rewriting

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 431 KB

english, 2000

30

Protease activity in golden delicious apples as another parameter of senescence

Natalio Gorin, Willem Klop, Frouwke T. Heidema

Journal:

European Food Research and Technology

Year:

1977

Language:

english

File:

PDF, 140 KB

english, 1977

31

Changes in starch content and amylase zymograms during storage of Golden Delicious and Cox's Orange Pippin apples

Natalio Gorin, Fabio Bonisolli, Frouwke T. Heidema, Willem Klop, Anthony A. Williams

Journal:

European Food Research and Technology

Year:

1978

Language:

english

File:

PDF, 421 KB

english, 1978

32

Applications of infinitary lambda calculus

Henk Barendregt, Jan Willem Klop

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

33

Highlights in infinitary rewriting and lambda calculus

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 982 KB

english, 2012

34

Particle Shape Anisotropy in Pickering Emulsions: Cubes and Peanuts

de Folter, Julius W. J., Hutter, Eline M., Castillo, Sonja I. R., Klop, Kira E., Philipse, Albert P., Kegel, Willem K.

Journal:

Year:

2014

Language:

english

File:

PDF, 2.03 MB

english, 2014

35

De Bruijn’s weak diamond property revisited

Endrullis, Jörg, Klop, Jan Willem

Journal:

Indagationes Mathematicae

Year:

2013

Language:

english

File:

PDF, 794 KB

english, 2013

36

Representability In Lambda Algebras

Barendregt, Henk, Bergstra, Jan, Klop, Jan Willem, Volken, Henri

Journal:

Indagationes Mathematicae (Proceedings)

Year:

1976

Language:

english

File:

PDF, 593 KB

english, 1976

37

An unusual ring-enlargement in the reaction of acetylenic esters and ketones with N,N-dimethylaminoallene

Klop, Willem, Brandsma, Lambert

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1983

Language:

english

File:

PDF, 109 KB

english, 1983

38

Proton-catalysed isomerization of cumulenic amines

van Rijn, Peter E., Klop, Willem, Verkruijsse, Hermann D., Schleyer, Paul von R., Brandsma, Lambert

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1983

Language:

english

File:

PDF, 143 KB

english, 1983

39

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Fixed Point Combinators and Clocked Böhm Trees

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

40

Can right-sided hand-assisted retroperitoneoscopic donor nephrectomy be advocated above standard laparoscopic donor nephrectomy: a randomized pilot study

Klop, Karel W. J., Kok, Niels F. M., Dols, Leonienke F. C., Dor, Frank J. M. F., Tran, Khe T. C., Terkivatan, Türkan, Weimar, Willem, Ijzermans, Jan N. M.

Journal:

Transplant International

Year:

2014

Language:

english

File:

PDF, 91 KB

english, 2014

41

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Automatic Sequences and Zip-Specifications

Grabmayer, Clemens, Endrullis, Jorg, Hendriks, Dimitri, Klop, Jan Willem, Moss, Lawrence S.

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

42

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Term rewriting and lambda calculus

Klop, Jan Willem

Year:

2012

Language:

english

File:

PDF, 116 KB

english, 2012

43

PS13 - 4. Gender differences in glucose-dependent leukocyte activation in patients with type 2 diabetes mellitus, familial combined hyperlipidemia and healthy controls

de Vries, Marijke A., Alipour, Arash, Klop, Boudewijn, Elte, Jan Willem F., Janssen, Hans, Njo, Tjin, Rietveld, Arie P., van Miltenburg, Addy, Cabezas, Manuel Castro

Journal:

Nederlands Tijdschrift voor Diabetologie

Year:

2013

Language:

english

File:

PDF, 238 KB

english, 2013

44

Effects of Metformin on the Regulation of Free Fatty Acids in Insulin Resistance: A Double-Blind, Placebo-Controlled Study

Castro Cabezas, Manuel, van Wijk, Jeroen P. H., Elte, Jan Willem F., Klop, Boudewijn

Journal:

Journal of Nutrition and Metabolism

Year:

2012

Language:

english

File:

PDF, 437 KB

english, 2012

45

Extending partial combinatory algebras

BETHKE, INGE, KLOP, JAN WILLEM, de VRIJER, ROEL

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 305 KB

english, 1999

46

LOng-term follow-up after liVE kidney donation (LOVE) study: a longitudinal comparison study protocol

Janki, Shiromani, Klop, Karel W. J., Kimenai, Hendrikus J. A. N., van de Wetering, Jacqueline, Weimar, Willem, Massey, Emma K., Dehghan, Abbas, Rizopoulos, Dimitris, Völzke, Henry, Hofman, Albert, Ijz

Journal:

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

47

More than a decade after live donor nephrectomy: a prospective cohort study

Janki, Shiromani, Klop, Karel W. J., Dooper, Ine M. M., Weimar, Willem, Ijzermans, Jan N. M., Kok, Niels F. M.

Journal:

Transplant International

Year:

2015

Language:

english

File:

PDF, 209 KB

english, 2015

48

Clinical Relevance of Quality of Life Outcome in Cochlear Implantation in Postlingually Deafened Adults

Klop, Willem Martin C., Boermans, Peter P. B. M., Ferrier, Marciano B., van den Hout, Wilbert B., Stiggelbout, Anne M., Frijns, Johan H. M.

Journal:

Otology & Neurotology

Year:

2008

Language:

english

File:

PDF, 172 KB

english, 2008

49

Attitudes Among Surgeons Towards Live-Donor Nephrectomy

Klop, Karel W.J., Dols, Leonienke F.C., Kok, Niels F.M., Weimar, Willem, IJzermans, Jan N.M.

Journal:

Transplantation Journal

Year:

2012

Language:

english

File:

PDF, 223 KB

english, 2012

50

Quality of Life of Elderly Live Kidney Donors

Klop, Karel W.J., Dols, Leonienke F.C., Weimar, Willem, Dooper, Ine M., IJzermans, Jan N.M., Kok, Niels F.M.

Journal:

Transplantation Journal

Year:

2013

Language:

english

File:

PDF, 221 KB

english, 2013